Logical framework - PDFSEARCH.IO - Document Search Engine

Logical framework
Results: 288

#	Item
91	"Supporting Economic Performance in the Caribbean by Strengthening Capacity" CARTAC Topic Area Logical Framework (May 2013) Add to Reading List Source URL: cartac.org Language: English - Date: 2013-05-24 10:30:56 Management Security Business Risk management Actuary Fiscal policy Fiscal sustainability Economic model Economics Actuarial science Risk Public finance
92	Relevance in Open Domain Question Answering: Theoretical Framework and Application Marco De Boni Add to Reading List Source URL: www.cs.york.ac.uk Language: English - Date: 2009-01-15 09:59:10 Information retrieval Natural language processing Computational linguistics Pragmatics Logical consequence Relevance Question answering Inference Open domain question answering Science Logic Information science
93	A Framework for Defining Logics Robert Harper∗ Furio Honsell† Gordon Plotkin‡ Add to Reading List Source URL: homepages.inf.ed.ac.uk Language: English - Date: 2004-06-30 10:44:06 Logic in computer science Proof theory Dependently typed programming Type theory Deduction Natural deduction Curry–Howard correspondence Logical framework Symbol Logic Mathematics Mathematical logic
94	A Tag-Based, Logical Access-Control Framework for Personal File Sharing Add to Reading List Source URL: www.pdl.cmu.edu Language: English - Date: 2015-02-11 13:51:06 Theft Carnegie Mellon University Rational temperament Higher education Crimes Identity Identity theft
95	Heperlink #1 _Logical Framework_ Add to Reading List Source URL: hmrp.cimmyt.org Language: English - Date: 2011-12-04 01:56:58 Digital media Maize Agriculture in Mesoamerica Seed NARC Cooperative Food and drink Tropical agriculture Agriculture
96	LOGICAL FRAMEWORKS—A BRIEF INTRODUCTION FRANK PFENNING () Carnegie Mellon University Abstract. A logical framework is a meta-language for the formalization of deductive systems. We provide a brief introdu Add to Reading List Source URL: www.cs.cmu.edu Language: English - Date: 2002-01-24 22:28:32 Proof theory Propositional calculus Dependently typed programming Type theory Formal languages First-order logic Natural deduction Higher-order abstract syntax Logical framework Logic Mathematical logic Mathematics
97	Microsoft Word - MELP.doc Add to Reading List Source URL: www.cap-net.org Language: English - Date: 2015-04-10 11:34:16 Development Integrated Water Resources Management Project management Environment Capacity building Global Water Partnership Logical framework approach Adaptive management Water resources management Water Capacity Building Network
98	IEEE Symposium on Computer Security Foundations, June 23-25, 2008 MONDAY JUNE 23 CSF Add to Reading List Source URL: ieee-security.org Language: English - Date: 2012-02-14 14:29:19 Computer science IEEE Symposium on Logic in Computer Science Year of birth missing Logic programming Frank Pfenning Logical framework Theoretical computer science Logic in computer science Programming language theory
99	skye_consult_brand_guidelines Add to Reading List Source URL: www.edgroup.com.au Language: English - Date: 2015-03-28 07:03:33 International economics Evaluation methods Impact assessment Effective Development Group Department for International Development Private sector development Impact evaluation New Zealand Agency for International Development Logical framework approach Project management Development Evaluation
100	Elimination of Negation in a Logical Framework Alberto Momigliano December 15, 2000 CMU-CSSchool of Computer Science Add to Reading List Source URL: reports-archive.adm.cs.cmu.edu Language: English - Date: 2000-12-15 10:34:26 Propositional calculus Semantics Type theory Model theory Logic programming Negation Prolog Entailment Logical framework Logic Mathematical logic Logic in computer science

UPDATE